package edu.unice.simul.util.graphs;

import java.util.Collection;
import java.util.PriorityQueue;

/**
 * 
 * @author Romain Ciaccafava
 * 
 */
public class GrapheSommetsPriorityQueue extends PriorityQueue<Sommet> {
	private static final long serialVersionUID = 4945538746786654208L;

	public GrapheSommetsPriorityQueue() {
	}

	public GrapheSommetsPriorityQueue(GrapheSommetsPriorityQueue g) {
		addAll(g);
	}

	/**
	 * Ajoute une collection de sommets à la file
	 */
	public void add(Collection<Sommet> sommets) {
		this.addAll(sommets);
	}

	/**
	 * Supprime un sommet du graphe puis l'insère à l'emplacement aproprié
	 */
	public void updateDistanceSommet(Sommet n) {
		this.remove(n);
		this.add(n);
	}
}
